Automatic generation produced by ISE Eiffel

ClassesClustersCluster hierarchyChartRelationsTextContracts
class DISPLAY_FILES_DIALOG General cluster: root_cluster description: "Objects that display a dialog of the selected files" create: default_create Ancestors EV_DIALOG Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES) dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_DOCKABLE_SOURCE_ACTION_SEQUENCES) dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_DOCKABLE_SOURCE_ACTION_SEQUENCES) docked_actions: EV_DOCKABLE_SOURCE_ACTION_SEQUENCE -- (from EV_DOCKABLE_TARGET_ACTION_SEQUENCES) drop_actions: EV_PND_ACTION_SEQUENCE -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES) focus_in_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) focus_out_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) key_press_actions: EV_KEY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) key_press_string_actions: EV_KEY_STRING_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) key_release_actions: EV_KEY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) maximize_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_TITLED_WINDOW_ACTION_SEQUENCES) minimize_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_TITLED_WINDOW_ACTION_SEQUENCES) mouse_wheel_actions: EV_INTEGER_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) move_actions: EV_GEOMETRY_ACTION_SEQUENCE -- (from EV_WINDOW_ACTION_SEQUENCES) pick_actions: EV_PND_START_ACTION_SEQUENCE -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES) pick_ended_actions: EV_PND_FINISHED_ACTION_SEQUENCE -- (from EV_PICK_AND_DROPABLE_ACTION_SEQUENCES) pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) pointer_button_release_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) pointer_enter_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) pointer_leave_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) resize_actions: EV_GEOMETRY_ACTION_SEQUENCE -- (from EV_WIDGET_ACTION_SEQUENCES) restore_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_TITLED_WINDOW_ACTION_SEQUENCES) show_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_WINDOW_ACTION_SEQUENCES) Queries accelerators: EV_ACCELERATOR_LIST -- (from EV_TITLED_WINDOW) accept_cursor: EV_CURSOR -- (from EV_PICK_AND_DROPABLE) actual_drop_target_agent: FUNCTION [ANY, TUPLE [INTEGER, INTEGER], EV_ABSTRACT_PICK_AND_DROPABLE] -- (from EV_WIDGET) background_color: EV_COLOR -- (from EV_COLORIZABLE) background_pixmap: EV_PIXMAP -- (from EV_CONTAINER) blocking_window: EV_WINDOW -- (from EV_DIALOG) client_height: INTEGER -- (from EV_CONTAINER) client_width: INTEGER -- (from EV_CONTAINER) count: INTEGER -- (from EV_CELL) data: ANY -- (from EV_ANY) default_cancel_button: EV_BUTTON -- (from EV_DIALOG) default_push_button: EV_BUTTON -- (from EV_DIALOG) deny_cursor: EV_CURSOR -- (from EV_PICK_AND_DROPABLE) extendible: BOOLEAN -- (from EV_CELL) foreground_color: EV_COLOR -- (from EV_COLORIZABLE) full: BOOLEAN -- (from EV_CELL) has (v: EV_WIDGET): BOOLEAN -- (from EV_WINDOW) has_capture: BOOLEAN -- (from EV_WIDGET) has_focus: BOOLEAN -- (from EV_WIDGET) has_recursive (an_item: [like item] EV_WIDGET): BOOLEAN -- (from EV_CONTAINER) height: INTEGER -- (from EV_POSITIONED) help_context: FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT] -- (from EV_HELP_CONTEXTABLE) icon_name: STRING -- (from EV_TITLED_WINDOW) icon_pixmap: EV_PIXMAP -- (from EV_TITLED_WINDOW) id_freed: BOOLEAN -- (from IDENTIFIED) id_object (an_id: INTEGER): IDENTIFIED -- (from IDENTIFIED) is_destroyed: BOOLEAN -- (from EV_ANY) is_displayed: BOOLEAN -- (from EV_WIDGET) is_dockable: BOOLEAN -- (from EV_DOCKABLE_SOURCE) is_docking_enabled: BOOLEAN -- (from EV_DOCKABLE_TARGET) is_empty: BOOLEAN -- (from EV_CELL) is_external_docking_enabled: BOOLEAN -- (from EV_DOCKABLE_SOURCE) is_external_docking_relative: BOOLEAN -- (from EV_DOCKABLE_SOURCE) is_inserted (v: EV_WIDGET): BOOLEAN -- (from COLLECTION) is_maximized: BOOLEAN -- (from EV_TITLED_WINDOW) is_minimized: BOOLEAN -- (from EV_TITLED_WINDOW) is_modal: BOOLEAN -- (from EV_DIALOG) is_parent_recursive (a_widget: EV_WIDGET): BOOLEAN -- (from EV_CONTAINER) is_relative: BOOLEAN -- (from EV_DIALOG) is_sensitive: BOOLEAN -- (from EV_SENSITIVE) is_show_requested: BOOLEAN -- (from EV_WIDGET) item: EV_WIDGET -- (from EV_CONTAINER) linear_representation: LINEAR [[like item] EV_WIDGET] -- (from EV_CELL) lower_bar: EV_VERTICAL_BOX -- (from EV_WINDOW) Maximum_dimension: INTEGER -- (from EV_WINDOW) maximum_height: INTEGER -- (from EV_WINDOW) maximum_width: INTEGER -- (from EV_WINDOW) may_contain (v: EV_WIDGET): BOOLEAN -- (from EV_CONTAINER) menu_bar: EV_MENU_BAR -- (from EV_WINDOW) merged_radio_button_groups: ARRAYED_LIST [EV_CONTAINER] -- (from EV_CONTAINER) minimum_height: INTEGER -- (from EV_POSITIONED) minimum_width: INTEGER -- (from EV_POSITIONED) mode_is_drag_and_drop: BOOLEAN -- (from EV_PICK_AND_DROPABLE) mode_is_pick_and_drop: BOOLEAN -- (from EV_PICK_AND_DROPABLE) mode_is_target_menu: BOOLEAN -- (from EV_PICK_AND_DROPABLE) names: LIST [STRING] object_id: INTEGER -- (from IDENTIFIED) parent: EV_CONTAINER -- (from EV_WIDGET) parent_of_source_allows_docking: BOOLEAN -- (from EV_DOCKABLE_SOURCE) pebble: ANY -- (from EV_PICK_AND_DROPABLE) pebble_function: FUNCTION [ANY, TUPLE, ANY] -- (from EV_PICK_AND_DROPABLE) pebble_positioning_enabled: BOOLEAN -- (from EV_PICK_AND_DROPABLE) pebble_x_position: INTEGER -- (from EV_PICK_AND_DROPABLE) pebble_y_position: INTEGER -- (from EV_PICK_AND_DROPABLE) pointer_position: EV_COORDINATE -- (from EV_WIDGET) pointer_style: EV_CURSOR -- (from EV_WIDGET) prunable: BOOLEAN -- (from EV_CELL) readable: BOOLEAN -- (from EV_CELL) real_source: EV_DOCKABLE_SOURCE -- (from EV_DOCKABLE_SOURCE) real_target: EV_DOCKABLE_TARGET -- (from EV_WIDGET) screen_x: INTEGER -- (from EV_WIDGET) screen_y: INTEGER -- (from EV_WIDGET) source_has_current_recursive (source: EV_DOCKABLE_SOURCE): BOOLEAN -- (from EV_DOCKABLE_SOURCE) target_name: STRING -- (from EV_ABSTRACT_PICK_AND_DROPABLE) title: STRING -- (from EV_WINDOW) upper_bar: EV_VERTICAL_BOX -- (from EV_WINDOW) user_can_resize: BOOLEAN -- (from EV_WINDOW) veto_dock_function: FUNCTION [ANY, TUPLE [EV_DOCKABLE_SOURCE], BOOLEAN] -- (from EV_DOCKABLE_TARGET) width: INTEGER -- (from EV_POSITIONED) writable: BOOLEAN -- (from EV_CELL) x_position: INTEGER -- (from EV_POSITIONED) y_position: INTEGER -- (from EV_POSITIONED) Commands center_pointer -- (from EV_WIDGET) copy (other: [like Current] DISPLAY_FILES_DIALOG) -- (from EV_ANY) destroy -- (from EV_ANY) dialog_key_press_action (a_key: EV_KEY) -- (from EV_DIALOG) disable_capture -- (from EV_WIDGET) disable_dockable -- (from EV_DOCKABLE_SOURCE) disable_docking -- (from EV_DOCKABLE_TARGET) disable_external_docking -- (from EV_DOCKABLE_SOURCE) disable_external_docking_relative -- (from EV_DOCKABLE_SOURCE) disable_pebble_positioning -- (from EV_PICK_AND_DROPABLE) disable_sensitive -- (from EV_SENSITIVE) disable_user_resize -- (from EV_WINDOW) enable_capture -- (from EV_WIDGET) enable_dockable -- (from EV_DOCKABLE_SOURCE) enable_docking -- (from EV_DOCKABLE_TARGET) enable_external_docking -- (from EV_DOCKABLE_SOURCE) enable_external_docking_relative -- (from EV_DOCKABLE_SOURCE) enable_pebble_positioning -- (from EV_PICK_AND_DROPABLE) enable_sensitive -- (from EV_SENSITIVE) enable_user_resize -- (from EV_WINDOW) extend (v: [like item] EV_WIDGET) -- (from EV_CONTAINER) fill (other: CONTAINER [EV_WIDGET]) -- (from COLLECTION) free_id -- (from IDENTIFIED) hide -- (from EV_WIDGET) initialize lock_update -- (from EV_WINDOW) lower -- (from EV_TITLED_WINDOW) maximize -- (from EV_TITLED_WINDOW) merge_radio_button_groups (other: EV_CONTAINER) -- (from EV_CONTAINER) minimize -- (from EV_TITLED_WINDOW) propagate_background_color -- (from EV_CONTAINER) propagate_foreground_color -- (from EV_CONTAINER) prune (v: EV_WIDGET) -- (from EV_CELL) prune_all (v: EV_WIDGET) -- (from COLLECTION) put (v: [like item] EV_WIDGET) -- (from EV_CONTAINER) raise -- (from EV_TITLED_WINDOW) remove_background_pixmap -- (from EV_PIXMAPABLE) remove_default_cancel_button -- (from EV_DIALOG) remove_default_push_button -- (from EV_DIALOG) remove_help_context -- (from EV_HELP_CONTEXTABLE) remove_icon_name -- (from EV_TITLED_WINDOW) remove_menu_bar -- (from EV_WINDOW) remove_pebble -- (from EV_PICK_AND_DROPABLE) remove_real_source -- (from EV_DOCKABLE_SOURCE) remove_real_target -- (from EV_WIDGET) remove_title -- (from EV_WINDOW) replace (v: [like item] EV_WIDGET) -- (from EV_CONTAINER) restore -- (from EV_TITLED_WINDOW) set_accept_cursor (a_cursor: EV_CURSOR) -- (from EV_PICK_AND_DROPABLE) set_actual_drop_target_agent (an_agent: [like actual_drop_target_agent] FUNCTION [ANY, TUPLE [INTEGER, INTEGER], EV_ABSTRACT_PICK_AND_DROPABLE]) -- (from EV_WIDGET) set_background_color (a_color: [like background_color] EV_COLOR) -- (from EV_COLORIZABLE) set_background_pixmap (a_pixmap: EV_PIXMAP) -- (from EV_PIXMAPABLE) set_data (some_data: [like data] ANY) -- (from EV_ANY) set_default_cancel_button (a_button: EV_BUTTON) -- (from EV_DIALOG) set_default_colors -- (from EV_COLORIZABLE) set_default_push_button (a_button: EV_BUTTON) -- (from EV_DIALOG) set_deny_cursor (a_cursor: EV_CURSOR) -- (from EV_PICK_AND_DROPABLE) set_drag_and_drop_mode -- (from EV_PICK_AND_DROPABLE) set_focus -- (from EV_WIDGET) set_foreground_color (a_color: [like foreground_color] EV_COLOR) -- (from EV_COLORIZABLE) set_height (a_height: INTEGER) -- (from EV_POSITIONABLE) set_help_context (an_help_context: [like help_context] FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT]) -- (from EV_HELP_CONTEXTABLE) set_icon_name (an_icon_name: STRING) -- (from EV_TITLED_WINDOW) set_icon_pixmap (an_icon: EV_PIXMAP) -- (from EV_TITLED_WINDOW) set_maximum_height (a_maximum_height: INTEGER) -- (from EV_WINDOW) set_maximum_size (a_maximum_width, a_maximum_height: INTEGER) -- (from EV_WINDOW) set_maximum_width (a_maximum_width: INTEGER) -- (from EV_WINDOW) set_menu_bar (a_menu_bar: EV_MENU_BAR) -- (from EV_WINDOW) set_minimum_height (a_minimum_height: INTEGER) -- (from EV_WIDGET) set_minimum_size (a_minimum_width, a_minimum_height: INTEGER) -- (from EV_WIDGET) set_minimum_width (a_minimum_width: INTEGER) -- (from EV_WIDGET) set_names (a_list: LIST [STRING]) set_pebble (a_pebble: [like pebble] ANY) -- (from EV_PICK_AND_DROPABLE) set_pebble_function (a_function: FUNCTION [ANY, TUPLE, ANY]) -- (from EV_PICK_AND_DROPABLE) set_pebble_position (a_x, a_y: INTEGER) -- (from EV_PICK_AND_DROPABLE) set_pick_and_drop_mode -- (from EV_PICK_AND_DROPABLE) set_pointer_style (a_cursor: [like pointer_style] EV_CURSOR) -- (from EV_WIDGET) set_position (a_x, a_y: INTEGER) -- (from EV_POSITIONABLE) set_real_source (dockable_source: EV_DOCKABLE_SOURCE) -- (from EV_DOCKABLE_SOURCE) set_real_target (a_target: EV_DOCKABLE_TARGET) -- (from EV_WIDGET) set_size (a_width, a_height: INTEGER) -- (from EV_POSITIONABLE) set_target_menu_mode -- (from EV_PICK_AND_DROPABLE) set_target_name (a_name: STRING) -- (from EV_ABSTRACT_PICK_AND_DROPABLE) set_title (a_title: STRING) -- (from EV_WINDOW) set_veto_dock_function (a_function: FUNCTION [ANY, TUPLE [EV_DOCKABLE_SOURCE], BOOLEAN]) -- (from EV_DOCKABLE_TARGET) set_width (a_width: INTEGER) -- (from EV_POSITIONABLE) set_x_position (a_x: INTEGER) -- (from EV_POSITIONABLE) set_y_position (a_y: INTEGER) -- (from EV_POSITIONABLE) show -- (from EV_WIDGET) show_modal_to_window (a_window: EV_WINDOW) -- (from EV_DIALOG) show_relative_to_window (a_window: EV_WINDOW) -- (from EV_DIALOG) unlock_update -- (from EV_WINDOW) unmerge_radio_button_groups (other: EV_CONTAINER) -- (from EV_CONTAINER) wipe_out -- (from EV_CELL)
ClassesClustersCluster hierarchyChartRelationsTextContracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com